and Computation

Results: 3364



#Item
161

Delft University of Technology Software Engineering Research Group Technical Report Series IceDust: Incremental and Eventual Computation of Derived Values in

Add to Reading List

Source URL: swerl.tudelft.nl

- Date: 2016-05-04 05:29:30
    162

    Centroidal Power Diagrams with Capacity Constraints: Computation, Applications, and Extension Shi-Qing Xin Bruno L´evy Zhonggui Chen∗ Ningbo University

    Add to Reading List

    Source URL: members.loria.fr

    - Date: 2016-10-17 03:40:29
      163

      2 Satisfiability Checking and Symbolic Computation (SC

      Add to Reading List

      Source URL: computing.coventry.ac.uk

      - Date: 2016-07-18 08:02:47
        164

        Distributed Computation of Passage Time Quantiles and Transient State Distributions in Large Semi-Markov Models Jeremy T. Bradley Nicholas J. Dingle

        Add to Reading List

        Source URL: pubs.doc.ic.ac.uk

        - Date: 2010-08-04 14:25:51
          165

          Science Bots: a Model for the Future of Scientific Computation? Tobias Kuhn Department of Humanities, Social and Political Sciences, ETH Zurich, Switzerland

          Add to Reading List

          Source URL: www.www2015.it

          - Date: 2015-05-15 11:10:01
            166

            Concurrency and Computation: Practice and Experience Special Issue Cloud Computing and Big Data: Technologies and Applications Aims and Scope Cloud computing has gained great attention from both academia and IT industry

            Add to Reading List

            Source URL: www.macc.ma

            - Date: 2016-05-04 13:15:37
              167

              Journal on Satisfiability, Boolean Modeling and Computation–236 Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure∗ Martin Fr¨ anzle

              Add to Reading List

              Source URL: jsat.ewi.tudelft.nl

              - Date: 2007-05-22 16:56:57
                168

                SUNDIALS: Suite of Nonlinear and Differential/Algebraic Equation Solvers ALAN C. HINDMARSH, PETER N. BROWN, KEITH E. GRANT, STEVEN L. LEE, RADU SERBAN, DAN E. SHUMAKER, and CAROL S. WOODWARD Lawrence Livermore National L

                Add to Reading List

                Source URL: computation.llnl.gov

                - Date: 2015-01-28 15:10:44
                  169

                  Department of Mathematics, University of California San Diego ******************************* Quantum Information and Computation Seminar

                  Add to Reading List

                  Source URL: www.math.ucsd.edu

                  - Date: 2016-12-08 15:15:55
                    170

                    IceDust: Incremental and Eventual Computation of Derived Values in Persistent Object Graphs∗ Daco C. Harkes1 , Danny M. Groenewegen2 , and Eelco Visser3 1 Delft University of Technology

                    Add to Reading List

                    Source URL: drops.dagstuhl.de

                    - Date: 2016-07-18 08:03:14
                      UPDATE